forward deduction system

英 [ˈfɔːwəd dɪˈdʌkʃn ˈsɪstəm]

美 [ˈfɔːrwərd dɪˈdʌkʃn ˈsɪstəm]

网络正向演绎系统

After study the method of organization of expert's knowledge, the thesis also puts forward a feasible method of deduction based on database technology to apply it to the expert system of auto assigning lessons.
经过仔细研究专家知识的组织方法之后，提出了一种可行的基于关系数据库的推理机制，使之用于自动排课的专家系统。
In detail, three knowledge representations, i.e. production rule, frame and Bayesian networks are adopted to express different kinds of knowledge in the Expert System, and forward deduction and Bayesian networks 'uncertain reason are combined to accomplish the Expert System inference process.
该系统采用了产生式规则、框架及贝叶斯网络三种知识表示方法分别描述评估决策过程中所含的不同知识，同时结合产生式规则的正向推理和贝叶斯网络的不确定推理完成整体的决策推理。
This paper introduces first-order predicate calculus and assertion method from precondition to postcondition into the research of refactoring. And a logic deduction system is put forward in this paper: Refactoring Reliability Deduction System.
本文从理论上对重构的可行性和可靠性进行了较深入的研究。引入了一阶谓词演算和前后断言方法，并且自定义了一个重构可靠性证明的逻辑推理系统：重构可靠性推演系统。